Nuprl Definition : vlnk 11,40
link_x from i to j == <i, j, x> 
latex

Definitions<a, b>
FDL editor aliasesvlnk

origin